#!/usr/bin/env bash

set -eu

export MIRI_SYSROOT=~/.cache/miri/HOST
exec cargo miri
